Individual Professional Practice in the Company

Import 03/11/2016Moja bakalárska prax bola vykonávaná v firme Tieto czech s.r.o, kde som pôsobil na pozicií software developera. Úlohou tejto praxe bolo spolupracovať na pridelených projektoch a získať čo najviac skúseností popri štúdiu technológie SharePoint. Na začiatku praxe som dostával jednoduchšie úlohy, ktoré ma maly zoznámiť s technológiou a projektom. Prvé úlohy sa týkali hlavne získavania poznatkov z kódu a jeho menších úprav. Neskôr náročnosť úloh stúpala, od vetších úprav, cez zmeny funkcionality, až k návrhu nového riešenia a jeho zrealizovaním. Na konci prvej časti praxe som sa stretol aj s spísaním funkčnej špecifikácie a pripravením časti prezentácie pre zákazníka. V druhej časti som sa stretol hlavne s návrhom riešení problému, zvolením správnej varianty a jeho realizáciou. Výsledkom druhej časti boli samostatné skripty, plniace dané úlohy.My bachelor practice was conducted in Tieto czech s.r.o., where I worked as a software developer. The goal of this practice was to cooperate on assigned projects and to earn experience by studying the SharePoint technology. At the beginning of the practice I worked on easier tasks that were supposed to familiarize me with the technology and the whole project. The first tasks involved examining the project’s source code and making changes in it. Later the difficulty of my tasks increased. I made bigger changes to the code, changed the program’s functionality and designed and realized a new solution from scratch. At the end of the first part of my practice I also had to write a functional specification and prepare a part of a presentation for a customer. In the second part I was mainly analyzing, designing and implementing the right solution for a given problem. The results of the second part were individual scripts that solved the given tasks.460 - Katedra informatikyvýborn

Using BPMN in Windows Workflow Foundation

Modelovanie business workflow je v dnešnej dobe neodmysliteľnou súčasťou každého podniku. Business workflow sa využívajú pre znázornenie chodu podniku, či priamo spúšťajú chod podniku. Aktuálne sú dostupné dve rozsiahle notácie vykonávajúce tvorbu workflow - BPMN a WF. Dobrým nápadom by teda bolo preskúmať možnosti konverzií medzi nimi. Tým sa zaoberá táto diplomová práca. Začiatok práce bude zameraný na technológie a ich možnosti. Ďalej predostriem požiadavky a problematiku prevodu. Praktická časť práce je zameraná na postup riešenia, ako aj na hlavný algoritmus prevodu. Diplomová práca ďalej hovorí o nástrojoch, ktoré majú podobnú funkcionalitu a kde porovnám svoje výsledky s ich výsledkami. Spomenuté sú taktiež možné rozšírenia nástroja, ako aj obtiažnosť týchto rozšírení. V závere je zhodnotený prínos práce a splniteľnosť podmienok.Modeling of business workflow is nowadays an essential part of every business. Business workflow is used to illustrate the operation of the business or to directly start the operation of the business. Currently, there are available two extensive notations which carry out the creation of workflow - BPMN and WF. Thus, a good idea would be to explore the possibilities of conversions between them. The diploma thesis deals with this subject. The beginning of the work will be focused on technologies and their possibilities. Further, I will outline the requirements and the issue of the transfer. The practical part of the work is focused on the solution process as well as on the main transfer algorithm. The diploma thesis further mentions tools that have a similar functionality and where I compare my results with their results. There are also mentioned possible extensions of the tool as well as the difficulty of these extensions. In the conclusion, benefits of the work and the fulfillment of conditions are evaluated.460 - Katedra informatikyvelmi dobř

Examining trade-offs between social, psychological, and energy potential of urban form

Urban planners are often challenged with the task of developing design solutions which must meet multiple, and often contradictory, criteria. In this paper, we investigated the trade-offs between social, psychological, and energy potential of the fundamental elements of urban form: the street network and the building massing. Since formal methods to evaluate urban form from the psychological and social point of view are not readily available, we developed a methodological framework to quantify these criteria as the first contribution in this paper. To evaluate the psychological potential, we conducted a three-tiered empirical study starting from real world environments and then abstracting them to virtual environments. In each context, the implicit (physiological) response and explicit (subjective) response of pedestrians were measured. To quantify the social potential, we developed a street network centrality-based measure of social accessibility. For the energy potential, we created an energy model to analyze the impact of pure geometric form on the energy demand of the building stock. The second contribution of this work is a method to identify distinct clusters of urban form and, for each, explore the trade-offs between the select design criteria. We applied this method to two case studies identifying nine types of urban form and their respective potential trade-offs, which are directly applicable for the assessment of strategic decisions regarding urban form during the early planning stages

Adversarial Attacks on Probabilistic Autoregressive Forecasting Models

We develop an effective generation of adversarial attacks on neural models that output a sequence of probability distributions rather than a sequence of single values. This setting includes the recently proposed deep probabilistic autoregressive forecasting models that estimate the probability distribution of a time series given its past and achieve state-of-the-art results in a diverse set of application domains. The key technical challenge we address is effectively differentiating through the Monte-Carlo estimation of statistics of the joint distribution of the output sequence. Additionally, we extend prior work on probabilistic forecasting to the Bayesian setting which allows conditioning on future observations, instead of only on past observations. We demonstrate that our approach can successfully generate attacks with small input perturbations in two challenging tasks where robust decision making is crucial: stock market trading and prediction of electricity consumption.Comment: 15 pages, 6 figure

Geostatistical Analysis for the Study of Relationships between the Emotional Responses of Urban Walkers to Urban Spaces

The described study aims to find correlations between urban spatial configurations and human emotions. To this end, the authors measured people’s emotions while they walk along a path in an urban area using an instrument that measures skin conductance and skin temperature. The corresponding locations of the test persons were measured recorded by using a GPS-tracker (n=13). The results are interpreted and categorized as measures for positive and negative emotional arousal. To evaluate the technical and methodological process. The test results offer initial evidence that certain spaces or spatial sequences do cause positive or negative emotional arousal while others are relatively neutral. To achieve the goal of the study, the outcome was used as a basis for the study of testing correlations between people’s emotional responses and urban spatial configurations represented by Isovist properties of the urban form. By using their model the authors can explain negative emotional arousal for certain places, but they couldn’t find a model to predict emotional responses for individual spatial configurations

Yet Another Algebraic Cryptanalysis of Small Scale Variants of AES

This work presents new advances in algebraic cryptanalysis of small scale derivatives of AES. We model the cipher as a system of polynomial equations over GF(2), which involves only the variables of the initial key, and we subsequently attempt to solve this system using Gröbner bases. We show, for example, that one of the attacks can recover the secret key for one round of AES-128 under one minute on a contemporary CPU. This attack requires only two known plaintexts and their corresponding ciphertexts. We also compare the performance of Gröbner bases to a SAT solver, and provide an insight into the propagation of diffusion within the cipher

Using geo statistical analysis to detect similarities in emotional responses of urban walkers to urban space

Using geo statistical analysis to detect similarities in emotional responses of urban walkers to urban spac

Geostatistical Analysis for the Study of Relationships between the Emotional Responses of Urban Walkers to Urban Spaces

The described study aims to find correlations between urban spatial configurations and human emotions. To this end, the authors measured people’s emotions while they walk along a path in an urban area using an instrument that measures skin conductance and skin temperature. The corresponding locations of the test persons were measured recorded by using a GPS-tracker (n=13). The results are interpreted and categorized as measures for positive and negative emotional arousal. To evaluate the technical and methodological process. The test results offer initial evidence that certain spaces or spatial sequences do cause positive or negative emotional arousal while others are relatively neutral. To achieve the goal of the study, the outcome was used as a basis for the study of testing correlations between people’s emotional responses and urban spatial configurations represented by Isovist properties of the urban form. By using their model the authors can explain negative emotional arousal for certain places, but they couldn’t find a model to predict emotional responses for individual spatial configurations

Spatial characteristics of the fungus powdery mildew (Erysiphe neolycopersici) on tomatoes and its spread in industrial greenhouses

In regions with cool temperate climates, tomatoes are grown on an industrial scale in large greenhouses. There the crops are susceptible to infection by powdery mildew, the fungus Erysiphe neolycopersici, which is introduced largely as fungal spores from outside the greenhouses and spread by wind within them. We have monitored the spread of the disease and mapped its distribution in four commercial greenhouses throughout the growing season to understand its aetiology. We modelled the patterns of infection geostatistically, each comprising a deterministic long-range trend plus a short-range spatially correlated random residual. We identified three main kinds of pattern; one consisted of a constant plus a spatially correlated residual, second comprised a linear trend throughout the greenhouse plus a correlated random residual, and third, the trend had the form of a bell akin to a Gaussian surface plus, again, a correlated random residual. Here, we show three examples of these distributions and the detail of their geostatistical analysis using both the traditional method of moments (MoM) estimation of variograms and residual maximum likelihood (REML) to separate the deterministic and random components. The analytical modelling is followed by ordinary punctual kriging in the first case, by universal kriging in the second, and by regression kriging in the third case to display the infection as isarithmic ("contour") maps. We interpret the first form of distribution as arising from numerous foci as spores landed on the leaves from various sources spread by air currents and the movement of workers along the paths through the greenhouse. In the second case, the disease seemed to have spread from an infection introduced through the main door in one corner of the greenhouse and spread from there by the workers and air currents. The third infection arose near the centre of the greenhouse by the main path and spread outwards from there. In all three examples, the main pathways seemed important routes along which the fungus spread